This is TeX, WAITS Version 1.1 (preloaded format=lplain 84.4.1)  11 JUL 1984 11:48
**reada
(READA.TEX[B2,JMC]
LaTeX Version 2.02S - Release 12 Jan 84 - Stanford release 6 Feb 84
(BOO.PLO[B2,JMC]
Page Layout 'boo' -- version of 4 July 1984.
) (BOO.STY[B2,JMC]
Document Style 'boo' - 7 Jun 1984
\c@chapter=\count66
\c@section=\count67
\c@subsection=\count68
\c@subsubsection=\count69
\c@figure=\count70
\c@table=\count71
) (BOO11.STY[B2,JMC]) (BOOMAC.TEX[B2,JMC]
\hours=\count72
\minutes=\count73
\temp=\count74
\ampm=\toks11
\ttglue=\skip33
)
No auxiliary output files.

No file reada.aux.
(READA.[B2,JMC]
Chapter 1.
! Undefined control sequence.
p.2,l.20 Section \qzz
                     (basicfns) describes the basic functions and predicates.
? 
! Undefined control sequence.
p.2,l.21 In section \qzz
                        (asexp) we will introduce a more abstract point of vi...

? 
LaTeX Warning: Reference `f1' on page 1 undefined.
LaTeX Warning: Reference `f2' on page 1 undefined.
[1]
LaTeX Warning: Reference `f1' on page 2 undefined.
LaTeX Warning: Reference `f2' on page 2 undefined.
LaTeX Warning: Reference `f2a' on page 2 undefined.
[2]
LaTeX Warning: Reference `f3' on page 3 undefined.
LaTeX Warning: Reference `f3' on page 3 undefined.
[3]
LaTeX Warning: Reference `f3' on page 4 undefined.
LaTeX Warning: Reference `f4' on page 4 undefined.
LaTeX Warning: Reference `f5a' on page 4 undefined.
[4]
LaTeX Warning: Reference `f5' on page 5 undefined.
LaTeX Warning: Reference `machin' on page 5 undefined.
[5]) [6] [7] 
Here is how much of TeX's memory you used:
 202 strings out of 318
 1573 string characters out of 2614
 3741&24292 words of memory out of 25000&33001
 1928 multiletter control sequences out of 2100
 21268 words of font info for 80 fonts, out of 25000 for 100
 14 hyphenation exceptions out of 307
 15i,6n,20p,119b,187s stack positions out of 200i,40n,60p,500b,600s

Output written on READA.DVI[B2,JMC] (7 pages, 17256 bytes).